@article(
LMSProofOpt, Author="Lincoln, P. and Mitchell, J. and Scedrov, A.",
        Title="Linear Logic Proof Games and Optimization",
        Journal="Bulletin of Symbolic Logic",
        Volume="?",
        Year="1996",
        pages="?",
        Note="Accepted for publication.")